Free shipping on all orders! No minimum purchase required.
Formal Methods and Software Engineering
by Michael Butler (Editor), Sylvain Conchon (Editor), Fatiha Zaïdi (Editor)
